Has anyone had experience with DFI motherboards (P2XBL) with Linux? I'm considering purchasing one and am looking for opinions. Thanks Jon