vanilla kernel + firmware

[Laurent Debian <laurent.debian@gmail.com>]

Hi all
I  have recently expereinced kernel oops with vanilla kernel ( from git 
current version is 3.11.0) and I report a bug here :  
https://bugzilla.kernel.org/show_bug.cgi?id=60759 .
I was respond to check i included properly the last firmware so as stated on 
the bug's page here basically is what I have done 

cd linux
git pull 
make clean 
cp /boot/configXXX .config   (+ make menuconfig and exit ...)
make deb-pkg  
cd .. 
dpkg -i linux-libc-dev_3.11.0-rc6_amd64.deb 
        linux-firmware-image_3.11.0-rc6_amd64.deb
        linux-headers-3.11.0-rc6+_3.11.0-rc6_amd64.deb
        linux-image-3.11.0-rc6+_3.11.0-rc6_amd64.deb

Can confirm or not if it is a proper way to install new kernel with firmware ? 

Regards,