[Arm-dev] Updated Kernel, still booting old kernel