Thanks. I've got it working now.
After modifying the uart clock in cmdline.txt I still had to configure the port with the following line.
sudo stty -F /dev/ttyAMA0 cstopb speed 4800
"cstopb" sets stop bits to "2" and speed is obvious. Now if I cat the device file, I get the expected output.