Turn on -O2 optimizations for kernel

Change-Id: I9ef859520ccfb516c2ee355ff0324cb0851b735c