During the installation process I dropped into a console and sent dmesg command. It says right at the top that the kernel was compiled with Red Hat 4.8.2-16 (GCC).
↧