No need for <inttypes.h> in "cpu/reg/flags.h"