Comment 15 for bug 1256747

gpothier, could you please execute the following via a terminal and advise on the results (the expectation is that this will not work):
cd ~/Desktop && git clone git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git linux-stable && cd linux-stable && git checkout b1a8014471b01dd862de9f91bbbff1296afac42d && cp /boot/config-`uname -r` .config && yes '' | make oldconfig && make-kpkg clean && CONCURRENCY_LEVEL=`getconf _NPROCESSORS_ONLN` fakeroot make-kpkg --initrd --append-to-version=-custom kernel_image kernel_headers && cd .. && sudo dpkg -i *.deb