kernel: Build config in to kernel

Requested by openpower partners doing bringup.

Change-Id: I86632bbdeb416a3fc268c1446727f0e6b799c050
Signed-off-by: Joel Stanley <joel@jms.id.au>
2 files changed