Update, there is kernel 4.14 now. I need to get RealtimePi to work with it, there is a commit that breaks patching which I need to revert.
Yet another update
- I got kernel 4.14 patched, its being built
- So did the Rpi foundation , they pushed a realtime kernel branch, asked them on the forum what is going on: https://www.raspberrypi.org/forums/viewtopic.php?f=29&t=206750&p=1306688#p1306688