hi, i saw this repository in my perusal of sources that support the GRX350/550 processors. does this kernel work for the dual core intel interaptiv mips devices? if so, i'm very intrigued and want to determine if i can merge the changes from the GPL into 4.14 for my own build.