Stock AOSP kernel for Samsung Gear Live (sprat)