Hello! Here is simple draft of possible text for bug in linux, *bsd kernels.
"Project flashrom (http://www.flashrom.org) trying to get full and free/open-source solution for BIOS reflashing. It works nice on usual PC systems, and becoming new standard of industry. But on laptops, which have one independend processor core - Embedded Conroller (EC) there is a big trouble to get it working safe, because EC usually always interacting with OS over ACPI. And if flashrom try to flash BIOS, when some of ACPI interrupt calls, it can make laptop dead. " Best regards, Anton Kochkov.