x86 kernel args: Increase number of page tables