Most interesting thing to me is how switching to coreboot fixed the freezing. Do you have a theory of why that might happen? I wonder if it's ACPI/DSDT related or if HW controllers were initialized incorrectly using the original BIOS.