Fix build for CONFIG_BUG=n. Yes, bugs are now a compile time option ;-)