KBRANCH ?= "dev-4.19"
LINUX_VERSION ?= "4.19.13"

SRCREV="721ae5d6de8caf61afbbb6b468ea4b99197cad53"

require linux-aspeed.inc