Fix the board name for internal armhf

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