SMP common wisdom: "OpenBSD's SMP is weak" there's truth to it