Format specifier issue when building kernel