Fix warnings about including deprecated <linux/config.h>