xmc4500/platform_conf.h: include pio in build