clean up boot program a little, remove unused programs from configuration
clean up boot program a little, remove unused programs from configuration

ghcjs/ghcjs,ghcjs/ghcjs,ghcjs/ghcjs,ghcjs/ghcjs,ghcjs/ghcjs,ghcjs/ghcjs,ghcjs/ghcjs