I just looked here, at the full specs page, and Debian is not in the supported list, although it's stated to be supported here.
Can you install debian on similar, but other machine ?