int biosload = 0;	/* for old machines with broken bioses */