No site da hp eles apontam a No site da hp eles apontam a bios F.3D, só fiz uma atualização que melhorou o suporte a acpi no linux !