pc100[123] havn't had attention for some time, and deserve the usual:
- pkg/kernel/trusty upgrade
- mediawiki code review for mariadb 10 compatability (probably fine)
- if ok, mariadb 10 re-puppetization and upgrade
These boxes can be depooled one-at-a-time in db-eqiad.php; they just rebuild themselves on repool.
Buffer pool preload would be useful since load balancing isn't(?) possible.
Also worth a p_s trial? Your call.