vppinfra: Add platform cpu and domain get for FreeBSD