Use -O3 for kernel