RV bring-up: lack of timer ticks fixed, still investigating the lack of "system time" messages from the RVT task

void
puts(s)
	char *s;
{
	int c;

	while (c = *s++)
		putchar(c);
	putchar('\n');
}