HomeFreeBSD

amd64 pcb.h: use 4 hex digits for pcb flags