48547bd23d0e ("microblaze: surround string default in Kconfig with double quotes")