Tu n’as rien non plus dans cat /sys/devices/system/cpu/cpu0/cpufreq/scaling_driver
Tu 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.