x86_64: ia32entry adjustments