Pass O argument to kernel Makefile

Test: kokoro/ubuntu/build.sh
Change-Id: I783a90345dafccf55f4690074bc726777881d831
1 file changed
tree: 116b4a255adca3eb552f3ae2916bb820e01b1fad
  1. .gitignore
  2. AUTHORS
  3. LICENSE
  4. Makefile
  5. hf_call.S
  6. main.c