processes branch: Check for `linux/config.h' in the configure script.