config_console(): support setting of bps via bootoption serial

No match.