KBRANCH ?= "dev-5.1"
LINUX_VERSION ?= "5.1.11"

SRCREV="48410672dff2eabc49ec971e223ed1dacc15662a"

require linux-aspeed.inc