Huh, no device loading is pretty weird. Had that happen over here a couple of months ago but it cleared itself up after a few microcode and kernel updates (even weirder as that shouldn’t have affected the UEFI). Does everything still work in the OS itself?
