owner 918751 sanvila at debian.org thanks I believe this problem is not directly related with the number of CPUs. Will do some additional tests and will probably downgrade this myself if I confirm my current suspicious. Thanks.