Yes, I've done all that, following the guide. With USBInjectAll and xhciportlimit=true, Bluetooth doesn't show up anywhere, including the USB section in the System Report. Just checked with Hackintool to be sure, no luck.
Initially I used a different pack with an older OC, and at first Bluetooth worked (or at least it was detected). Then after one of the countless iterations it just disappeared. Interestingly enough, when I return to that exact pack, Bluetooth still doesn't work. And of course it's enabled in BIOS, I checked.
It feels like some kind of magic is involved. I used to experience something similar on E6430, specifically with Bluetooth.