Re: [PATCH] vmci: prevent speculation leaks by sanitizing event in event_deliver()