bug.h: fix BUILD_BUG_ON macro in __CHECKER__