/*
 * Console support headers should be in <machine/cons.h> since MI software
 * needs to access these functions.  In the mean time, just include the
 * header where it sits.
 */
#include <i386/i386/cons.h>