kernel: fix omap kernel build with new toolchain.