I resorted to 4.1 firmware and do not encounter this issue. Both TinyCLR and RESET are working.
After looking through the posts here, I see that the 4.2.0.0 firmware is not available. Does anyone have a copy of it that I can test?
Here is the link for Mini firmware 4.2.0.1, both RS232 and TTL