Maybe I misunderstood myself sorry about that xD
PS: The problem comes from the fact that he can't find the module on the linux-libre-headers, but I didn't had the time to see if the problem came from a problem in linking (maybe from the official linux-libre package) or from Virtualbox itself.