powerpc/85xx: Add T4240RDB board support