Patrick Georgi has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/42892 )
Change subject: acpi: Avoid freeing a device twice ......................................................................
Patch Set 3: Code-Review+2
(1 comment)
https://review.coreboot.org/c/coreboot/+/42892/2/src/acpi/device.c File src/acpi/device.c:
https://review.coreboot.org/c/coreboot/+/42892/2/src/acpi/device.c@829 PS2, Line 829: acpi_dp_write(dp->child);
Er, yes. Fixed, thanks.
Done