[PATCH v11 5/9] eficonfig: add "Delete Boot Option" menu entry