KBRANCH ?= "dev-4.10"
LINUX_VERSION ?= "4.10.17"

SRCREV="5a861f0ce49e9bab8bd7d4138bac4f41b7f48bbd"

require linux-obmc.inc