Instead of setting the highest bit (which isn't easily done on native x86_64), negate the interrupt vector stored in orig_{e,r}ax. Also add patch for native build. Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>
