[RFC PATCH 02/13] Documentation/x86: Add documentation for User Interrupts