Re: [PATCH 0/1] MR1011: user32: Correctly detect and assign an int resource