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

SRCREV="2caf12c9ed84a39b383d0f237d1506b7e9a95bdf"

require linux-aspeed.inc