Plastic Logic specific Linux kernel headers