Devicetree's for RPi's are provided by raspberrypi-firmware-dt package. Which hasn't been updated in a while(5 months).