Re: Kernel not booting with Linaro GCC?