[PATCH 2/2] winspool.drv: Fix get_config_module when printer and driver names differ.