Fix bootloader build.