MariaDB 10.1 is not a GA release, yet. When it goes GA, presumably this will also be available on RDS. Currently 5.5 & 10.0 are GA releases.