Problem with AMD HDT setup for Tyan S2885 - LinuxBIOS debugging