Pass O argument to kernel Makefile

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