[PATCH] x86_64: e820.c needs pgtable.h