gummiboot: fix INSTALL script; misc twerks.