build - Add missing symbol for vkernel64 build

* Add symbols required to support access to the GD_OTHER_CPUS field,
  which vkernel64's assembly now needs.