S3 not booting up after being flashed with a stock ROM
Found the solution. I guess Cyanogenmod left something in /data that was interfering with the boot up process, maybe settings for a newer version of some app. Starting by pressing volume-up and home at the same time dropped me in the menu with the factory reset. Doing the factory reset allowed the phone to boot up properly.