Re: [PATCH] VMCI: Use threaded irqs instead of tasklets