@slelievre I'm having the same issue and the output of cat /proc/cpuinfo is - processor : 0 vendor_id : Genu