make: Entering directory '/home/giuliobenetti/autobuild/run/instance-0/buildroot'
Makefile:587: *** linux is in the dependency chain of dtbocfg that has added it to its _DEPENDENCIES variable without selecting it or depending on it from Config.in.  Stop.
make: Leaving directory '/home/giuliobenetti/autobuild/run/instance-0/buildroot'