The receiver comes with a built-in linux kernel that downloads a new kernel (in the .arf) file. Is it possible to reflash the rio receiver to use a different kernel?