Missing Linux Header
Missing Linux Header

This patches allows the linux driver to compile on
Ubuntu 12.04

Signed-off-by: Rian Quinn <e09fa40acf9eb527a4bd167df46df5cfd127719e@ainfosec.com>

connojd/hypervisor,RicoAntonioFelix/hypervisor,connojd/hypervisor,RicoAntonioFelix/hypervisor,connojd/hypervisor,RicoAntonioFelix/hypervisor,rianquinn/hypervisor,Bareflank/hypervisor,Bareflank/hypervisor,rianquinn/hypervisor,rianquinn/hypervisor,Bareflank/hypervisor