There seems to be some doubt as to whether you can flash an alternative kernel on a sim-locked device. There is also this possibility: