[U-Boot] [PATCH 1/2] microblaze: Fix style issues in header files