[coreboot] Patch merged into coreboot/master: d5d3406 Remove duplicate VGA BIOS interrupt handlers