Change kernel header barrier to be more generic - devices can now select whether to use actual kernel headers via boardconfig

Change-Id: I43d088312f81af14402a11f0698dd0c1f1c3d210