I do believe it resides in the flashable firmware of the cart.
hmm. This means that you would need patch firmware of card. Way more manual though it would actually get job done and probably won't be possible to build autopatcher from kernel itself would it ?