KBRANCH ?= "dev-4.17"
LINUX_VERSION ?= "4.17.14"

SRCREV="c71662c749dc66a542e717dbd51fefab995c9455"

require linux-aspeed.inc