OpenELEC 4.0.1 Embedded System Is Now Based on Linux Kernel 3.14.4
The OpenELEC developers are not waiting around for XBMC to get a new stable release and they have adopted the first 13.1 Beta 1 that was made available a couple of days ago. It's likely that they analyzed what the new XBMC was fixing and decided it was safe to implement in their stable version.
“This release includes some bugfixes, security fixes and improvements since OpenELEC-4.0.0 . Besides the usual bugfixes and package updates we updated XBMC with the last fixes to XBMC 13.1 beta1 which contains a lot of fixes for issues found after the XBMC-13.0 release (some of them we already shipped with OpenELEC-4.0.0).”