The text b94199316730, as Debian 7 (Wheezy) shipped it.
detach a driver defined port structure
uart_remove_one_port(9) on Linux now