bcons_post_bootenvrc
bcons_post_bootenvrc(inputdev, outputdev, consoledev);
extern void bcons_post_bootenvrc(char *, char *, char *);