Set SERIAL_CONSOLE to Xen console hvc0 in ndvm distro conf.
Add bbappend for 3.8 kernel.

Works just the same as the 3.4 kernel after basic boot testing.
Set preferred kernel version for the ndvm distro to the 3.8 kernel.