This feature is actually scheduled to be included and released in v1.15.0, changing MariaDB version will be very easy, similar to what we have currently done with PHP.
If you think you have memory issues you should report this to the MariaDB team, if you think you have found a very special case that makes a downgrade necessary that means you have found something really critical here.