[coreboot] VGA cleanup advice