hvc_console: Change an mb() to smp_mb() and add some comments