revert r14709, leaving the output in bootloader/ is fine