Linux-kernelontwikkelaars: OpenBSD had gelijk