Pin the MariaDB repo to prevent update issues

Change-Id: I9e0a35fac8baea9b7743dbe8c15697334bcf399d
Merge "Pin the MariaDB repo to prevent update issues"