Fix ps %CPU output in vkernel by exporting hw.availpages.