Added support for 64-bits x86 in OpenBSD