I used matt's utility to update to 4.1.2 and I just flashed DeadRage. Seems to be working in order after reboot. I will report again later.
Edit: spoke too soon. I was causally watching a YouTube video and it froze so I force rebooted. Then, proximity sensor no longer works and rotation doesn't work as well. These are some screenshots of the auto-rotate options and about phone page.
Well, that rules out baseband...
edit: not everyone needs to know about that. Too many bad things can happen in that menu.