The alignment of an AWL pool is now set to the format alignment, as documented. The alignment restriction on pointers is now based on sizeof(void *), not MPS_PF_ALIGN.