rpi_linux_dt: update to match new firmware