/src/seastar/dpdk/config/ppc