powerpc/fsl-booke: Add T4080 SVR value