I recently purchased a Samsung Galaxy S4 mini. It did not work on X1000/AOS4.1 upd6 either

http://www.chip.de/news/Galaxy-S4-Mini- ... 85987.html
It was really easy, an no problem. Pressing all the desired buttons all at once is a bit tricky, however I you screw it up somehow, just reboot (Right after flashing you have to interrupt the reboot - however, if you miss the interruption - just turn of and on and try again). I was really nervous about it, but no problem at all - EASY

SD Card inside S4mini is now recognized as USB MassStorage on my AOS 4.1 and I already copied heaps of MP3 onto it!