new kit-kat compatible kernel based on lexmazters (LaTeX kernel)