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 ?