Using uart57 because uart12 doesn't seem to work...