Thank you! In that case, the fbcon=font:TER16x32 is expected and I have to adjust reform-tools. Can you paste me the complete output of this command:
cat /proc/cmdline
But I don’t understand where console=ttymxc1 is coming from. Did you set this manually in /etc/default/u-boot?
Interesting. No comments in that file?
This is what makes your font small. By running the sed command above, these lines should become:
FONTFACE=
FONTSIZE=
And that should fix your problem. Can you confirm?