mysql: update to 5.6.12; added cross build support.