ppc: Add some missing headers