x86-64: Don't export init_level4_pgt