[RFC PATCH 00/13] x86 User Interrupts support