Derive physical memory available in cpu_startup() from the phys_avail
array instead of vm_free_count(), as that requires vm_ndomains() to be
set (which it isn't as that is at (SI_SUB_VM - 1) which is after CPU).
On some x64 platforms, this results in major amounts of memory not being
shown as available in the boot message, which can be confusing.