Simple kernel to run on cortex-a8 (ARMv7-a).