Move generation of config header later, so it gets to include all values for PICO_CONFIG_HEADER_FILES