x86, vmware: Remove deprecated VMI kernel support