Can anyone confirm amd64 operation on a VIA K8T800 / VIA 8237 mainboard? The model is a Chaintech SK8T800 socket 754 Micro-ATX. It's for a server, so VESA video is good enough. Otherwise, are there other Micro-ATX mainboards known to work? --Thanks, John