Include additional requirements to build kernel

The Makefile changes in kernel requires additional flags and a
config file. Include all the necessary requirements here.

Change-Id: Ie5256d8b88f4c47c7ff4230d299f202a90000687
2 files changed