Fix the board name for internal armhf

Cherry-picked from v2020dev0

The board name is used in ostree-based images for pointing the correct ostree branch name.

Signed-off-by: Denis Pynkin denis.pynkin@collabora.com