We're currently using a hard-coded value for vmemmap.  This doesn't work
anymore.  Calculate its value dynamically the same way the kernel does
it.

Change-Id: If3e06007ab69c2ee91fefede770c2fb5ccb59fe3