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