8.4.2. do_diffconfig

Compares the old and new config files after running the do_menuconfig task for the kernel.