am 24834ffd: am 4f92abad: Merge "Two quick fixes: fix kernel header location and nostdlib."

* commit '24834ffddd64f80c93089033c214f0996c2f18c6':
  Two quick fixes: fix kernel header location and nostdlib.