ipmi/powerpc: Use linux/of_{device,platform}.h instead of asm