There have been some issues with EFI-booting systems which are expecting Secure Boot keys. But that is not what you apparently experienced here.
When you were having problems, the kernel was successfully booted. But it failed to probe a PCI bus successfully. That indicates a hardware problem of some kind.
Odds are low that the reformat was responsible for the correction.
|