Hi, in a recent discussion [1] with Phil Elwell pointed out that the VPU firmware of the Raspberry Pi isn't aware of an unload of the vchiq kernel module after a successful registration. So my question is there a proper way to prevent a platform driver from unloading? [1] - https://github.com/raspberrypi/linux/issues/2250