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

SRCREV="11b4f60b391e55c847f365fe1c8203ab7b3e42e8"

require linux-obmc.inc