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

SRCREV="71e1da8efd4d01e29b8cf6f4a6a445eee6f78138"

require linux-aspeed.inc