;R12
cmd_reboot: DI
	LD	C,BIOS.FullInit
	RST	ToBIOS
	LD	BC,2*256 + BIOS.REINIT
	RST	ToBIOS
	
	DI
	HALT	
;R12