It is hard to really reproduce because it sometimes works and sometimes doesn't. I normally booted 3 times to see if it fails once. The patch looks correct, but this might trigger something else.