works like a dream @jock. here's my freshly installed/updated hk1 max box dmesg using latest libreelec hdmi patched 6.3.13 kernel. i hope mainline gets around to updating hdmi timing stuff. brcm 6334 2.4G and 5G works out of the box. using it currently as pi hole box.
for those having problems with rtl 2734c (rtl8237cs). wireless module that gets detected but cannot connect to AP, here's a reuploaded nvram you can try out (no guarantees though), it solved my problem way back with the rounded h96 max i am using as klipper host. file is not mine, credits to the original uploader.
dmesg.log nvram_2734c.txt