HomeFreeBSD

vmm: Use VLAPIC_CTR* in more places.