Looks like. AFAICT, the generic nopud.h and nopmd.h headers expect
page.h to be included before pgtable.h. I think this patch should fix
the problem, but I don't have a suitable board to test with.
=20
That would be me. I'll give it a spin.
Thanks,
Jdl