BoardConfig flag to use the actual kernel source headers

Change-Id: I28c0f68ad7f4ba7edf8d6d4d9ca75dadc0f79af3