WIP: try to initialise vmem.c with realistic values - from XNU.