HomeFreeBSD

amd64 linux64: use x86_clear_dbregs()