amd64 pcb.h: use 4 hex digits for pcb flags
(cherry picked from commit 5f7ac491eef4994b23b4de250927a85c69a64a31)