Hello... How can I set the system time on a 715/100XC from the bios? how do I enter the bios at all? thanks Andreas