This looks like an ACPI bug in your BIOS. Can you boot with noacpi and see if the machine shuts down properly?
This looks like an ACPI bug in your BIOS. Can you boot with noacpi and see if the machine shuts down properly?