-
×InformationNeed Windows 11 help?Check documents on compatibility, FAQs, upgrade information and available fixes.
Windows 11 Support Center. -
-
×InformationNeed Windows 11 help?Check documents on compatibility, FAQs, upgrade information and available fixes.
Windows 11 Support Center. -
- HP Community
- Gaming
- Gaming Notebooks
- Where do I report a BIOS bug?

Create an account on the HP Community to personalize your profile and ask a question
Your account also allows you to connect with HP support faster, access a personal dashboard to manage all of your devices in one place, view warranty information, case status and more.
05-30-2025 11:21 AM
Product: Victus by HP 16.1 inch Gaming Laptop PC 16-s1000 (90P69AV)
Operating System: Linux
I am running the latest BIOS F15 for this model Victus 16.1 s1000. I am running a Linux system (vanilla kernel 6.14.7). There is a bug in the BIOS manifesting as a missing ACPI symbol:
ACPI BIOS Error (bug): Could not resolve symbol [\_SB.PCI0.LPCB.BAT1], AE_NOT_FOUND (20240827/psargs-332)
How do I report this bug to HP so they can fix the BIOS?
Be alert for scammers posting fake support phone numbers and/or email addresses on the community.
If you think you have received a fake HP Support message, please report it to us by clicking on "Flag Post".
† The opinions expressed above are the personal opinions of the authors, not of HP. By using this site, you accept the Terms of Use and Rules of Participation.
Didn't find what you were looking for?
Ask the community
† The opinions expressed above are the personal opinions of the authors, not of HP. By using this site, you accept the <a href="https://www8.hp.com/us/en/terms-of-use.html" class="udrlinesmall">Terms of Use</a> and <a href="/t5/custom/page/page-id/hp.rulespage" class="udrlinesmall"> Rules of Participation</a>.