5b4a3e940f
memory allocator. Set the size of phys_avail[] and dump_avail[] using one of these definitions. Approved by: re