ports/x11/gnome-shell/files/patch-js_ui_endSessionDialog_js

Index: js/ui/endSessionDialog.js
--- js/ui/endSessionDialog.js.orig
+++ js/ui/endSessionDialog.js
@@ -234,11 +234,6 @@ class EndSessionDialog extends ModalDialog.ModalDialog
         });
 
         this._loginManager = LoginManager.getLoginManager();
-        this._loginManager.canRebootToBootLoaderMenu(
-            (canRebootToBootLoaderMenu, unusedNeedsAuth) => {
-                this._canRebootToBootLoaderMenu = canRebootToBootLoaderMenu;
-            });
-
         this._userManager = AccountsService.UserManager.get_default();
         this._user = this._userManager.get_user(GLib.get_user_name());
         this._updatesPermission = null;
@@ -452,24 +447,6 @@ class EndSessionDialog extends ModalDialog.ModalDialog
                 },
                 label,
             });
-
-            // Add Alt "Boot Options" option to the Reboot button
-            if (this._canRebootToBootLoaderMenu && signal === 'ConfirmedReboot') {
-                this._rebootButton = button;
-                this._rebootButtonAlt = this.addButton({
-                    action: () => {
-                        this.close(true);
-                        let signalId = this.connect('closed', () => {
-                            this.disconnect(signalId);
-                            this._confirmRebootToBootLoaderMenu();
-                        });
-                    },
-                    label: C_('button', 'Boot Options'),
-                });
-                this._rebootButtonAlt.visible = false;
-                this._capturedEventId = this.connect('captured-event',
-                    this._onCapturedEvent.bind(this));
-            }
         }
     }