Two quick fixes: fix kernel header location and nostdlib.

Change-Id: Idf2d101e16e895ca75a74a095091e3543b2b482b
1 file changed