powerpc/t4rdb: Add SD boot support for T4240RDB board