RK30 config, RK30 sources y Mali 400