A script to properly generate bootloader entries according to FDO BootLoaderSpec