[PATCH v2 2/2] x86/mm: implement free pmd/pte page interfaces