[coreboot] BBC EFI story