[00:37:05] <Platonides>	 arnaudb: maybe the ISO that boots has a different kernel that the one used by the installer?
[00:37:19] <Platonides>	 that would explain one getting stuck and not the other