--- updates/5/kernel/current/PATCHES/configs/x86_64.config 2017/09/13 22:37:28 1153707 +++ updates/5/kernel/current/PATCHES/configs/x86_64.config 2017/09/13 22:46:13 1153708 @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86_64 4.4.87-1.mga5 Kernel Configuration +# Linux/x86_64 4.4.88-1.mga5 Kernel Configuration # CONFIG_64BIT=y CONFIG_X86_64=y