[SeaBIOS] [PATCH] Add Kconfig option to specify which serial port when serial debugging.