cif.py: use format instead of % in get_sdram_phy_header