Ein einzeiliger Patch für den Linux-Kernel lässt diesen 0,035 Sekunden schneller booten. Dazu setzt der Patch ein Flag bei einer Speicherallokierung in ACPI. (Linux, Betriebssysteme)