How to run boot.elf from homebrew channel