Re: BE kernel / GCC-4.8 (Was run BE in lava)