[PATCH 5/6] user32: Use a DISPLAY_DEVICEW array as display device cache.