Ah, thanks for the correction! So it's the libraries which keep breaking binary compatibility, not the kernel...