650dd58
Add downstream patches implementing the "Boot Options" menu from: https://wiki.gnome.org/Design/OS/BootOptions