>I've had to fiddle with EFI

Actually you most probably had to fiddle with so-called UEFI, i.e. Universal EFI which should really-really be called UUEFI (Unlike Universal Extended Firmaware Interface).