Re: Is there an equivalent to 40_custom with EFI boot?