[kbuild-all] [leon-rdma:vermagic 4/4] drivers/gpio/gpio-aspeed.mod.c:3:10: fatal error: linux/vermagic.h: No such file or directory