Patrick Klein

I've added the setting to the global config.

Is there anything I can contribute?

For future reference: This issue is caused by `make` defaulting to arm architecture. Running `make ARCH=arm64` solves the issue.

Make sure that you have installed the kernel headers/sources.