Probably because the kernel binary is compiled with different clang parameters (in devices/common.c) than the kernel library.
« Back to merge proposal
Probably because the kernel binary is compiled with different clang parameters (in devices/common.c) than the kernel library.