[Bug]: DsdtFilePath and SsdtFilePath are not allowed in ACPI config

[heck-gd]

Version

trunk/main

Host OS Type

Linux

Host OS name + version

Ubuntu 22.04 LTS

Host Architecture

x86

Guest OS Type

Windows

Guest Architecture

x86

Guest OS name + version

Windows 11 Build 26100

Component

VBoxManage CLI

What happened?

The config keys VBoxInternal/Devices/acpi/0/Config/DsdtFilePath and VBoxInternal/Devices/acpi/0/Config/SsdtFilePath are not accepted when trying to configure them. This is because they're missing from the list of valid option names in DevACPI.cpp (but the code that queries those keys does exist).

I'll submit a PR that fixes this.

How can we reproduce this?

Try to use VBoxManage to specify a binary file for either option.

Did you upload all of your necessary log files, screenshots, etc.?

• Yes, I've uploaded all pertinent files to this issue.