[SeaBIOS] [PATCH 2/4] Disable CONFIG_OPTIONROMS_DEPLOYED by default