Just hours after the launch of the high-resolution touchscreen laptop – the Chromebook Pixel, Benson Leung from Google is busy patching the Linux kernel to support Pixel’s hardware.