microblaze: fix style in board.c