[coreboot-gerrit] Patch merged into coreboot/master: ebfee55 boardstatus/towiki: Skip comments after options.