You would want to flash a Full ROM (UEFI) which will then easily support any regular Linux distro.
Reply on news.ycombinator.com