- Fix BBB's dts compilation with GNU dtc