Radxa Penta SATA HAT Ubuntu compatibility?

Hi everybody!

Is the Penta SATA Hat compatible with Ubuntu on the Raspberry Pi 5? I can manage to detect and benchmark disks following the setup tutorial on https://docs.radxa.com/en/accessories/penta-sata-hat/penta-for-rpi5. However, when trying to use my previously setup Raspberry Pi 5 running Ubuntu 23.10 (64 bits), I can’t detect the drives. I added dtparam=pciex1 to the end of the /boot/firmware/config.txt file and rebooted. I can see the jmicron adapter using lspci, but can’t detect the drives using lsblk nor do the blue lights on the board ever turn on. My dmesg is reporting the following:

lucas@home-control:~$ sudo dmesg | ag pcie
[    0.000000] Kernel command line: coherent_pool=1M 8250.nr_uarts=1 pci=pcie_bus_safe snd_bcm2835.enable_compat_alsa=0 snd_bcm2835.enable_hdmi=1 bcm2708_fb.fbwidth=640 bcm2708_fb.fbheight=480 bcm2708_fb.fbdepth=16 bcm2708_fb.fbswap=1 smsc95xx.macaddr=D8:3A:DD:ED:B0:5B vc_mem.mem_base=0x3fc00000 vc_mem.mem_size=0x40000000  console=ttyAMA10,115200 multipath=off dwc_otg.lpm_enable=0 console=tty1 root=LABEL=writable rootfstype=ext4 rootwait fixrtc cfg80211.ieee80211_regdom=DE
[    2.119269] brcm-pcie 1000110000.pcie: host bridge /axi/pcie@110000 ranges:
[    2.126360] brcm-pcie 1000110000.pcie:   No bus range found for /axi/pcie@110000, using [bus 00-ff]
[    2.140287] brcm-pcie 1000110000.pcie:      MEM 0x1b00000000..0x1bfffffffb -> 0x0000000000
[    2.148622] brcm-pcie 1000110000.pcie:      MEM 0x1800000000..0x1affffffff -> 0x0400000000
[    2.166229] brcm-pcie 1000110000.pcie:   IB MEM 0x0000000000..0x0fffffffff -> 0x1000000000
[    2.175822] brcm-pcie 1000110000.pcie: Forcing gen 2
[    2.199818] brcm-pcie 1000110000.pcie: PCI host bridge to bus 0000:00
[    2.385919] brcm-pcie 1000110000.pcie: link up, 5.0 GT/s PCIe x1 (!SSC)
[    2.445885] pci 0000:01:00.0: 4.000 Gb/s available PCIe bandwidth, limited by 5.0 GT/s PCIe x1 link at 0000:00:00.0 (capable of 15.752 Gb/s with 8.0 GT/s PCIe x2 link)
[    2.583584] pcieport 0000:00:00.0: enabling device (0000 -> 0002)
[    2.589751] pcieport 0000:00:00.0: PME: Signaling with IRQ 36
[    2.595602] pcieport 0000:00:00.0: AER: enabled with IRQ 36
[    2.601296] brcm-pcie 1000110000.pcie: clkreq control enabled
[    2.607194] brcm-pcie 1000120000.pcie: host bridge /axi/pcie@120000 ranges:
[    2.614196] brcm-pcie 1000120000.pcie:   No bus range found for /axi/pcie@120000, using [bus 00-ff]
[    2.623296] brcm-pcie 1000120000.pcie:      MEM 0x1f00000000..0x1ffffffffb -> 0x0000000000
[    2.631602] brcm-pcie 1000120000.pcie:      MEM 0x1c00000000..0x1effffffff -> 0x0400000000
[    2.639913] brcm-pcie 1000120000.pcie:   IB MEM 0x1f00000000..0x1f003fffff -> 0x0000000000
[    2.648218] brcm-pcie 1000120000.pcie:   IB MEM 0x0000000000..0x0fffffffff -> 0x1000000000
[    2.657596] brcm-pcie 1000120000.pcie: Forcing gen 2
[    2.662623] brcm-pcie 1000120000.pcie: PCI host bridge to bus 0001:00
[    2.821922] brcm-pcie 1000120000.pcie: link up, 5.0 GT/s PCIe x4 (!SSC)
[    2.938564] pcieport 0001:00:00.0: enabling device (0000 -> 0002)
[    2.944727] pcieport 0001:00:00.0: PME: Signaling with IRQ 37
[    2.950597] pcieport 0001:00:00.0: AER: enabled with IRQ 37

Any ideas what might be going wrong?