[PATCH 5.11 587/601] ia64: fix EFI_DEBUG build