I'll give it another try when I return from holidays. Maybe there was a change in file systems from 12.1 to 13? I seem to remember some older Android system not booting either. But then ext4 shouldn't be a problem.