change optimizations to allow kernel built with 4.8.1 toolchain to boot