playstation 4 kernel module

[nsrxnst]

does the stock kernel come with this driver? if not, how can I get it?