Custom kernel source for ef65l