Bring in S4 kernel