OpenBSD/x86: Better executable memory allocation for W^X mode.