/* Don't use this fix if you don't need to!!!  */
static void broken_bios_start(unsigned long acpibase)
/* Don't use this fix if you don't need to!!!  */
static void broken_bios_start(unsigned long acpibase)
{
	unsigned long val32;
	val32 = inl(SMI_EN);
	val32 &= 0xffffdffe;
	outl(val32, SMI_EN);
}