[IA64] fix up bte.h