This small series provides some more fixes towards the goal to have the PARAVIRT selectable for x86_64. After that, just some more small steps are needed.
The first fix is not even specific for PARAVIRT, and it's actually preventing the whole tree from booting.