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