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

This reverts commit 070e1d6352515ed7d7476f3497255e4553b1c471.