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