mk: fix armv7 machine name