I’m having a problem, and I’m using a prebuilt EFI.