HI Ian,

[...trimmed text...]

I remember reading about this and if I'm not mistaken there is a BIOS flash to fix this. I don't remember if it was the OEM that released this or if it was a hack from the BIOS vendor that ... Login to read more.