lehet, hogy valamit félreolvastam, de nem arról ír a fickó, hogy a patchet az obsd 12 órán belül elkészítette és a patch amit mellékel pedig az obsd féle patch?
szintén hozzáteszi, hogy ha DDB_PANIC opció be van kapcsolva a gép rebootol, egyébként coredump nélkül összeesik.