serial8250_register_port(9) on Linux

The text adc2e51a0f26, as Debian 7 (Wheezy) shipped it. The page shows this text now.

register a serial port

serial8250_register_port(9) on Linux now