openbsd source code path to kernel (x86-64-version) https://github.com/fleakos/src/tree/master/sys/arch/amd64