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