The hcall H_INT_RESET should be called to make sure XIVE is fully
reseted.
Signed-off-by: NCédric Le Goater <clg@kaod.org>
Signed-off-by: NMichael Ellerman <mpe@ellerman.id.au>