/*
	Just a dummy. No BIOS services are required in the kernel.
*/