[IA64] fix ia64 build (fadt_descriptor)