That thing is apparently $366 USD with 16GB of RAM, so my first thought is really "it had damn well better boot things properly if it costs so much".