kernel is from HTC Pico, needs editing