some hacks to get hvc0 working in pvxen