host_bios: Corrections in config.bld