MDK-ARM is updated to 5.12.