OptionalacpiOptionalbootloaderSettings to control the bootloader that is used.
OptionalkernelSettings to set the kernel for booting.
OptionalserialThe system-serial-number in SMBIOS
OptionaluuidUUID reported by the vmi bios. Defaults to a random generated uid.
Information that can be set in the ACPI table