config_console(): support setting of bps via bootoption serial