Similar to the previous patch, but concerning injection of exceptions rather
than external interrupts.
Signed-off-by: NNadav Har'El <nyh@il.ibm.com>
Signed-off-by: NMarcelo Tosatti <mtosatti@redhat.com>