Fixed: Allocated text secion size should be in U32.