[SeaBIOS] [PATCH] Replace CONFIG_THREAD_OPTIONROMS with a runtime config setting.