Back to standard kernel for S4