Re: [RFC PATCH 03/13] x86/cpu: Enumerate User Interrupts support