KBRANCH ?= "dev-4.7"
LINUX_VERSION ?= "4.7"
SRCREV="e62c7f11175525c028d9a6abaf6a2a5c275664d1"

require linux-obmc.inc