AndroidBoard.mk: build kernel from source