The text ec78bf3df943, as Debian 7 (Wheezy) shipped it.
return uart clock divisor
uart_get_divisor(9) on Linux now