im using the diablominer.app because i am not too good with terminal so i dont think i can change the kernal.