When highpte support is enabled, this is required to build
the kernel.
Signed-off-by: NArnd Bergmann <arnd@arndb.de>