Since this branch is just for S4 anyway, make the kernel name
specific :)