[coreboot] [LinuxBIOS] Televideo TC7020 successfully booted with LinuxBiosV2