kexec/i386: allocate page table pages dynamically