On 13 Dec 2013, Stefan Tauner wrote:
I have added your board to our list of supported hardware and will commit that later together with other small changes. Just to make sure... the X8DTE is the one without IPMI, and the X8DTE-F is the one including IPMI. I have added the X8DTE now (the -F was already there).
Note, it's a X8DT6, not a X8DTE. My X8DT6 most certainly has IPMI.