RedHat devel install: require the correct kernel headers for the running kernel and gcc to compile