My attempt at an ARMv6 kernel