[U-Boot] [PATCH v2 1/5] microblaze: fix style in board.c