[GSD-12001] OpenCL on Arc B580 (Battlemage) shows “Number of platforms: 0” on Ubuntu 24.04 (xe)

**Summary:**
On Ubuntu 24.04 with the xe driver, `clinfo` loads Intel’s OpenCL ICD but reports `Number of platforms: 0`. No logs or personal paths attached.

**Environment**
- OS: Ubuntu 24.04.3 LTS
- Kernel: 6.14.0-35-generic (Ubuntu HWE)
- GPU: Intel Arc B580 (Battlemage) — PCI ID 8086:e20b
- Driver: xe (loaded successfully, no i915)
- OpenCL loader: OpenCL ICD Loader 2.3.2 (`libOpenCL.so.1`)
- OpenCL runtime (ICD): intel-opencl-icd 25.40.35563.7-1~24.04~ppa1
- Level Zero: libze-intel-gpu1 25.40.35563.7-1~24.04~ppa1, libze1 1.24.3-1~24.04~ppa1
- GMM: libigdgmm12 22.8.2-0ubuntu1~24.04~ppa1
- Intel GSC: intel-gsc 0.9.5-1~24.04~ppa2
- linux-firmware: 20240318.git3b128b60-0ubuntu2.19

**Steps to reproduce**
```bash
sudo apt update
sudo apt install -y software-properties-common dirmngr
sudo add-apt-repository -y universe
sudo add-apt-repository -y ppa:kobuk-team/intel-graphics
sudo apt update
sudo apt install -y intel-opencl-icd libze-intel-gpu1 intel-media-va-driver-non-free clinfo intel-gsc
sudo reboot
env -u LD_LIBRARY_PATH -u LD_PRELOAD clinfo -l
````

**Actual result**

```
WARNING: Small BAR detected for device 0000:1b:00.0
Number of platforms 0
```

**Expected result**
Intel(R) OpenCL platform and Arc B580 device enumerate correctly.

**Notes**

* Using the official HWE kernel per Intel’s Ubuntu instructions.
* No output from `dmesg | grep -i xe` beyond module load, suggesting firmware may be missing.
* linux-firmware may be too old for Battlemage.
* The OpenCL ICD and Level Zero libraries come from the kobuk-team/intel-graphics PPA (25.40 series).

**Questions**

1. Which package versions (NEO/IGC/firmware) are known-good for Battlemage on Ubuntu 24.04 HWE?
2. Any specific releases are known to work?