src/sys/external/gpl2/dts/dist/arch/arm64/boot/dts/intel
