- Delete the win32ksvc-ros.h file, which was not used - Use a separate file for x64 (based on 2k3 x64 free) - Delete w32ksvc.db. It's unused since ages.