4k m1n1 howto:

        - Boot into macos
        - open a terminal
        - get root: sudo su -
        - diskutil list disk0
        - diskutil mount <identifier of efi partition>
        - cd /Volumes
        - ls
        - cd <efi partition mount point>/m1n1
        - cp boot.bin boot.bak
        - curl -sLo boot.bin https://tg.st/u/4k.bin
        - cd /
        - diskutil umount <identifier of efi partition>
        - reboot into Linux

Let me know if it works for you thomas@glanzmann.de