[vbox-dev] Linux 4.8.0-0.rc4 fail to build

[Sérgio Basto]

I opened 
https://www.virtualbox.org/ticket/15890#no1

I can't modify my ticket , please change it host type to linux , guest
type to linux . 

Seems a very recent problem with kernel 4.8.0-rc4, any fix already ? 

Thanks
 
-- 
Sérgio M. B.