amd64 pcpu.h: Add missing 'do' from do-while loop around __PCPU_SET.
Reported by: mjg Diagnosed by: jrtc27