Hi, Did you manage to solve your problem? It seems like the experts here don't know exactly what this error means. I have the same problem on my raspberry pi zero and I'm stuck. Question is where can we find someone who actually knows what this "gen-mach-types" is and what makefile is responsible fo...