I shouldn't have been so hasty. For reference, this problem was resolved for me by adding acpi_sleep=nonvs to grub.
I shouldn't have been so hasty. For reference, this problem was resolved for me by adding acpi_sleep=nonvs to grub.