aoscp_hammerhead.mk: build kernel from source.