void
StartTimer1(void)
{
	outb(0x56, 0x43);
	outb(0x12, 0x41);
}

void
SystemPreInit(void)
{

	/* they want a jump ... */
	__asm__("jmp .+2\ninvd\njmp.+2\n");
	StartTimer1();
}