[PATCH] x86_64: eliminate empty_bad_{page,{pte,pmd}_table}