2003-08-09  Peter Bruin  <pjbruin@dds.nl>

	* console-run.c (get_console) [KERNEL_SECURITY_TOKEN_VALUE]: Pass
	security token to device_open.
	[KERN_INVALID_LEDGER]: Pass null argument to device_open.