seabios 494302fe196f7016d56814f0adc83ba1d54c0518
vgabios 6e62666cfc19e7fd45dd0d7c3ad62fd8d0b5f67a
