I created a GUI to change BIOS settings for devices with coreboot.