Re: Format specifier issue when building kernel