[Arm-dev] New kernel takes ~130MB!