hI everybody and thanks a lot for all the help.
So it looks like we're actually stuck with the 32 bits version waiting for a BIOS upgrade?
Just for your information, Linux Mint 18.1 Beta was released yesterday. This release ships with linux-firmware 1.157.5 and the Linux kernel 4.4.0-31. I don't know if they backported things in 4.4 from 4.8, I'll try to boot on it using the 32 bits version and let you know.
