powerpc/booke64: Use GSRR registers in Guest Doorbell interrupts