Custom kernel for ef40s by TekCafe team