rem: static ssize_t console_read(void *cookie, off_t pos, void *buf, size_t *len)
add: console_read(void *cookie, off_t pos, void *buf, size_t *len)
context: static ssize_t console_read(void *cookie, off_t pos, void *buf, size_t *len){	/* XXX - optimistic!! */	*len = sys_read(keyboard_fd, 0, buf, *len);	return 0;}