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