Feature request: support for RPi AI HAT+

On RPi 5 with AI Hat, I can't see AI coproc:

CPU: Cortex-A76 (4 cores) │ RAM: 14.7 GB avail / 15.8 GB total │ GPU: none (CPU (ARM))

AI HAT is visible in lspci:

0001:01:00.0 Co-processor: Hailo Technologies Ltd. Hailo-10H AI Processor (rev 01)

And in dmesg:

[ 7.249059] hailo1x_pci: loading out-of-tree module taints kernel.
[ 7.249610] hailo1x: Init module. driver version 5.1.1
[ 7.249678] hailo1x 0001:01:00.0: Probing on: 1e60:45c4...
[ 7.249682] hailo1x 0001:01:00.0: Probing: Allocate memory for device extension, 11240
[ 7.249696] hailo1x 0001:01:00.0: enabling device (0000 -> 0002)
[ 7.249700] hailo1x 0001:01:00.0: Probing: Device enabled
[ 7.249712] hailo1x 0001:01:00.0: Probing: mapped bar 0 - 00000000d5be857b 16384
[ 7.249717] hailo1x 0001:01:00.0: Probing: mapped bar 2 - 0000000020d3f54c 4096
[ 7.249719] hailo1x 0001:01:00.0: Probing: mapped bar 4 - 00000000e0c3d0c4 16384
[ 7.249723] hailo1x 0001:01:00.0: Probing: Setting max_desc_page_size to 4096, (PAGE_SIZE=16384)
[ 7.249730] hailo1x 0001:01:00.0: Probing: Enabled 64 bit dma
[ 7.249734] hailo1x 0001:01:00.0: Disabling ASPM L0s
[ 7.249737] hailo1x 0001:01:00.0: Successfully disabled ASPM L0s
[ 7.249837] hailo1x 0001:01:00.0: Writing file hailo/hailo10h/customer_certificate.bin
[ 7.302872] hailo1x 0001:01:00.0: File hailo/hailo10h/customer_certificate.bin written successfully
[ 7.302878] hailo1x 0001:01:00.0: Writing file hailo/hailo10h/scu_fw.bin
[ 7.382163] hailo1x 0001:01:00.0: File hailo/hailo10h/scu_fw.bin written successfully
[ 7.437792] hailo1x 0001:01:00.0: Board SKU-ID is: 6
[ 7.437798] hailo1x 0001:01:00.0: Writing file hailo/hailo10h/u-boot-6.dtb.signed
[ 7.457269] hailo1x 0001:01:00.0: File hailo/hailo10h/u-boot-6.dtb.signed written successfully
[ 7.552258] hailo1x 0001:01:00.0: Reading firmware file hailo/hailo10h/u-boot-spl.bin
[ 7.557904] hailo1x 0001:01:00.0: Reading firmware file hailo/hailo10h/u-boot-tfa.itb
[ 7.557924] hailo1x 0001:01:00.0: Reading firmware file hailo/hailo10h/fitImage
[ 8.041668] hailo1x 0001:01:00.0: Reading firmware file hailo/hailo10h/image-fs
[ 11.528412] hailo1x 0001:01:00.0: Firmware file programmed successfully
[ 11.528418] hailo1x 0001:01:00.0: Firmware file index 0 programmed successfully
[ 11.531258] hailo1x 0001:01:00.0: Firmware file programmed successfully
[ 11.531263] hailo1x 0001:01:00.0: Firmware file index 2 programmed successfully
[ 11.553242] hailo1x 0001:01:00.0: Firmware file programmed successfully
[ 11.553248] hailo1x 0001:01:00.0: Firmware file index 3 programmed successfully
[ 11.553251] hailo1x 0001:01:00.0: Firmware batch programming completed for stage 2
[ 11.671016] hailo1x 0001:01:00.0: vDMA transfer completed, triggering boot
[ 13.898023] hailo1x 0001:01:00.0: SOC Firmware Batch loaded successfully
[ 13.898028] hailo1x 0001:01:00.0: Firmware loaded in 6648 ms
[ 13.911596] hailo1x 0001:01:00.0: Probing: Added board 1e60-45c4, /dev/hailo0