Tu n’as rien non plus dans cat /sys/devices/system/cpu/cpu0/cpufreq/scaling_driverTu peux potasser /sys/devices/system/cpu/cpu0/cpufreq/*
A part de vérifier avec kmuto.jp/debian/hcl/ le kernel qui va bien pour ton config et selon le résultat, installer i386/686, je ne vois pas.
