/*
 * This file is included by 'init/main.c' to check for architecture-dependent
 * bugs.
 *
 */

static void check_bugs(void) {
}