microblaze: Use CFLAGS_KERNEL instead of CFLAGS