For some reason, it seems the usual way of compiling a Linux kernel does not work on Raspberry Pi platforms ; genkernel also fails. […]

From time to time, one needs to check if a number of options are enabled in the kernel. […]