I tried again now, and then it was just stuck in the boot without the message until I hit the enter key, so maybe the fix is working after all.
I tried again now, and then it was just stuck in the boot without the message until I hit the enter key, so maybe the fix is working after all.