freebsd 64 bit cpu