Does OpenBSD have any kind of cryptographically measured boot like Heads (which I believe can only boot to GNU/Linux)?