These calculations are performed by the assembler, not thepreprocessor. I think this transformation looks correct (in that its anidentity with the original), but my understanding is that the assemblerdoes it calculations in arbitrary precision, so there's no need to worryabout limiting the arithmetic to 32-bits.

The PGTABLE reservation seems much too big. I think 1 page should besufficient for a system with large pages. Even if not, 0x6d000 is waytoo large. And they symptoms of failing to reserve the initialpagetable are pretty non-subtle.