add support for S4 kernel builds