efi: ia64: move IA64-only declarations to new asm/efi.h header