Use efer for 64bit only