Fix FreeBSD loader API so that it works on both 32-bit and 64-bit targets.