Re: [opensuse-kernel] [PATCH] [ARM/u5800] Fix build of ux500 driver