ARMV7-M MPU base region not configured correctly

I made a protected build on NXP 1052 chip which uses the ARMV7-M MCU. The user region has a base address of 0x80800048 with a size of 0xd15620. The alignedbase is 0x80000000 because the l2size is 0x19. The system will crash shortly after I enable the MPU. When I decrease the size of the user, the alignedbase is 0x8080000 and the device runs normally. I don't think the calculation for the aligned base is correct for all situations. I'm using nuttx 10.2.0.