HomeFreeBSD

Revert "vmm: permit some IPIs to be handled by userspace"