[PATCH] x86-64: Clean up the early boot page table