user32: Get rid of the unused parameter in the EmptyClipboard driver entry point.