Je profite d'une insomnie :
As-tu tenté de changer manuellement les options qui t'intéressent dans le bios, fait
un second dump par le shell puis comparer les résultats des dumps ? (Avec un
"comp" par exemple)
Ca permettrait peut-être d'identifier les variables et leurs valeurs ?
--
CgX (Christophe)