Homebrew-Channel lässt sich nach Update nicht mehr aus BootMii-Menu starten