Neuer Linux Kernel 6.12

Really real-time und weitere Features.