Fixed a bug causing the boot loader to set a wrong boot file in the config.