Upgrade Arch ARM kernel as part of install script