Add coreboot: a BIOS replacement.
Update submodules.