Hi all, nl6720 informed me about a recent kernel bug that prevents some older CPU models to boot*. While a simple workaround exists, I agree that this issue might be quite unexpected and frustrating for users. Especially since releasing a new install media on the 1st each month is more a tradition than an actual need. Therefore I'll wait for a fixed linux package. (the July ISO is still pretty recent :-))
Greetings, Pierre *) https://bugs.archlinux.org/task/75478 -- Pierre Schmitz, https://pierre-schmitz.com
