pmalloc: correct format_pmalloc_map u32 index overrun bug