[VirtualBox-kmod/f25] Force use VirtualBox-kmodsrc >= 5.1.4-4, with fix for 4.8.0-rc5
Summary of changes:
c5463c8... Force use VirtualBox-kmodsrc >= 5.1.4-4, with fix for 4.8.0 (*)
(*) This commit already existed in another branch; no separate mail sent