A script to install Arch Linux ARM on the first Samsung Chromebook