I'm still wrestling with my system and its not booting. Can anyone please tell me precisely where 'efibootmgr -c ...' writes a boot record, or whatever it's called? My machine seems unable to store what I give it, and I suspect that the BIOS ROM has failed. Big expense if so.
TiA.
