BrcmNonPatchRAM2.kext and BrcmFirmwareData.kext not showing in KEXTSTATS

Hi to everyone.
I placed BrcmNonPatchRAM2.kext and BrcmFirmwareData.kext on EFI/EFI/CLOVER/KEXTS/OTHER.

I do not see them in kextstats output.
Is it correct?
Do you have some hint for a debug?

Thanks in advance.