Test kernel for S4mini