switched to -O2 optimization

the latest version of Linaro (Jan 2013) has been fixed so the kernel will now boot when I change the optimization level from -Os