Switch to Kmdf Library 1.7 for Samsung devices

- Appropriate dlls from WDK 8.0
- New definition section for Kmdf 1.7