is now gPXE-specific. (The standard malloc() et al have been in stdlib.h for a while). Add free memory counter.