[PATCH 5.12 664/677] ia64: fix EFI_DEBUG build