fix rpi-bootloader build