No kernel source from Samsung yet, so no custom kernel exists currently.
Who will make it? Who knows, most of dev moved to other device already.
At moment I can't see any active devs in develope section.
(safariwhatever guy is not dev, he is not able to make new kernel)