linux_dsm_epyc7002/arch/powerpc/boot/mpc8xx.h