Paolo Bonzini <[email protected]> writes:
> bios_name was a legacy variable used by machine code, but it is > no more. > > Signed-off-by: Paolo Bonzini <[email protected]> well it all built which is as far as I've tested it: Reviewed-by: Alex Bennée <[email protected]> -- Alex Bennée
