This script creates the page https://www.coreboot.org/Coreboot_Options