BoardConfig flag to use the actual kernel source headers

Change-Id: Idd99db6d542581d5c82ad29af9f049d6714202c0