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

SRCREV="72dc92286966c86e8fa6039922eb510ce27e20c2"

require linux-aspeed.inc