kesl/khypervisor — pull request #213 by mijong (2014-04-16 09:38:15+00:00)
Title: change uart_print to printh

1. change uart_print to printh
2. add 64 bit printh function (use printh ("%ld",val))