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