use the seabios provided by coreboot