Favor kernel headers instead of those included in the device tree