[Crash-utility] [PATCH] defs.h: Refine the FILL_PML4() macro