Add values for new-style CONFIG_PRINTF option.