Orange Pi 5+ should we have switched kernel?

Hmm, I also see that those two nodes are enabled by default: linux-rockchip/arch/arm64/boot/dts/rockchip/rk3588-orangepi-5-plus.dtsi at 2ef3143a76574ff6093c736f7c346f68cc5489cc · armbian/linux-rockchip · GitHub
The overlay sets status = "okay"; for both and wifi_chip_type = "ap6275p";, but that is the case here already.

So it really has an effect only on Orange Pi 5 non-Plus, where these are disabled: linux-rockchip/arch/arm64/boot/dts/rockchip/rk3588s-orangepi-5.dtsi at 2ef3143a76574ff6093c736f7c346f68cc5489cc · armbian/linux-rockchip · GitHub
Makes sense since that one has one M.2 M-key socket only, where this surely breaks using an NVMe SSD.

What about kernel errors?

dmesg -l 0,1,2,3

Or generally some logs about PCIe devices?

dmesg | grep -E 'pcie|wifi|wlan|ap6275'