next problem: If the seabios build fails, and you do a make again, it fails with this kind of error
CC cbfs/fallback/coreboot_ram.debug OBJCOPY cbfs/fallback/coreboot_ram.elf Checking out SeaBIOS revision 385a7d0dec28841a05531cba96c62138c3959fef error: Your local changes to the following files would be overwritten by checkout: src/acpi-dsdt.hex Please, commit your changes or stash them before you can switch branches. Aborting fatal: A branch named 'coreboot' already exists. make[1]: *** [checkout] Error 128 make: *** [seabios] Error 2