Problems With UEFI Shell Options

The (U)EFI Shell has been around one form or another for nearly 15 years. Recenly I looked at Shell startup options and found that the relevant code in the Shell was badly broken and could never have worked. This post details my findings and solutions.