Ofast override for the kernel

Change-Id: I24f576e0c7c62fb5e069d156db51244deb588f2d