Does FreeBSD currently support 64-bit x86 systems? I've been here, but my knowledge of hardware terminology is too limited to confidently draw conclusions: <http://www.freebsd.org/platforms/>