add another define

Signed-off-by: Christian Gmeiner <christian.gmeiner@gmail.com>
correct page table creation

v4 kernel driver allocates 128 << 10 bytes for the mmu v1 page
table. which results in a page tables size of

(128 << 10) / 4 = 0x8000 (32k)

Signed-off-by: Christian Gmeiner <christian.gmeiner@gmail.com>