config/ppc: fix build with GCC >= 10