Amp3+DSPaddon not recognised on clean install hifiberryOS on rpi4

[martijndierckx]

Describe the bug
Clean install of hifiberryos on rpi4 doesn't recognize amp3 and keeps rebooting

HiFiBerryOS version
hifiberryos-20230404-pi4

HiFiBerry sound card
Amp3 + DSP add-on board

To Reproduce

1. Flashed hifiberryos-20230404-pi4.img using Balena Etcher on M1 Mac onto 32GB SD
2. Boot rpi4 with amp3+dsp installed, powered via 60W Meanwell PSU
3. Keeps rebooting ...
4. Created noreboot file to prevent
5. aplay -l doesn't show the sound card

Expected behavior
HifiberryOS should recognise the sound card

Screenshots
NA

Browser (if applicable)
NA

Additional context

# aplay -l
aplay: device_list:274: no soundcards found...

# /opt/hifiberry/bin/readhat
HiFiBerry:Amp3

# cat /tmp/reboot
Adding amp3 to config.txt
Adding amp3 to config.txt

#cat /boot/config.txt
# Please note that this is only a sample, we recommend you to change it to fit
# your needs.
# You should override this file using a post-build script.
# See http://buildroot.org/manual.html#rootfs-custom
# and http://elinux.org/RPiconfig for a description of config.txt syntax

# We always use the same names, the real used variant is selected by
# BR2_PACKAGE_RPI_FIRMWARE_{DEFAULT,X,CD} choice
start_file=start.elf
fixup_file=fixup.dat

kernel=zImage

# To use an external initramfs file
#initramfs rootfs.cpio.gz

# Disable overscan assuming the display supports displaying the full resolution
# If the text shown on the screen disappears off the edge, comment this out
disable_overscan=1

# How much memory in MB to assign to the GPU on Pi models having
# 256, 512 or 1024 MB total memory
gpu_mem_256=100
gpu_mem_512=100
gpu_mem_1024=100
# Enable I2C and SPI
dtparam=i2c=on
dtparam=spi=on
dtoverlay=i2c-gpio,i2c_gpio_sda=0,i2c_gpio_scl=1
dtoverlay=vc4-fkms-v3d,audio=off
force_eeprom_read=0
dtoverlay=hifiberry-amp3

-> Did work on a rpi3b