Add extra include directory for includers of ppc_arch.h