I Wonder is there a way to reproduce this on x86 platform, from looking in kflags there is no CONFIG_x86_4/16/64K_PAGES flags.