BoardConfig: Define use of prebuilt headers

Change-Id: I712e087aed8e0b8ccbc57ea95a48f72f740bc0e0