/* * This file is included by 'init/main.c' to check for architecture-dependent * bugs. * */ static void check_bugs(void) { }