Linux and the Samsung Series 9 NP900X3C