Kernel for Samsung Galaxy S5 Mini (SM-G800H)