Is OpenBSD 10x faster than Linux?