ARM Chromebook kernel (for nv-U-Boot setups only!!!)