Dual booting x96 mini question