[PATCH 5.10 515/530] ia64: fix EFI_DEBUG build