This bug was introduced in 2f569afd.
(CONFIG_HIGHPTE vs. sub-page page tables)
Signed-off-by: Chris Zankel <chris@zankel.net>