dts bestanden, afkomstig uit /boot/ gecompiled naar source