Make ktext_size 32-bit