Got it by looking at the changes made by the slackware forum user. I just had to use a more recent rpi bootloader (grabbing the dat, bin, and elf files form the boot directory of the raspberrypi/firmware). Not sure that it would matter but I grabbed the same version that was supplied with the current* rpi linux kernel in nixpkgs.
Thanks again for your help, @ElvishJerricco!