Join Date:Joined: Jul 2013
Did you check the support thread for that kernel to see if anyone else was having issues? If not, did you post there to let the developer know about it? Did you search the forum to see if anyone using that kernel has found a workaround?
Apart from the above, you have to decide to live with the fault for now or change kernels.