[U-Boot] [PATCH 04/14] microblaze: Remove DEBUG_INT macro and use debug() instead