The text d15af2fd48ba, as Debian 7 (Wheezy) shipped it.
remove a 16x50 serial port at runtime
serial8250_unregister_port(9) on Linux now
