New comment by aisecat on void-packages repository

https://github.com/void-linux/void-packages/pull/23541#issuecomment-681944401

Comment:
@PaperMountainStudio At this point I'm just not sure what would be different between our setups, I tried following the instructions above exactly and got a working image. If your /boot partition contains the correct kernel, dtb, and the latest firmware, it should work, there's nothing really special required to boot void. Unless something went wrong with your build environment, I would start trying different SD cards. Did you try using the same SD card with void that boots the 64bit Raspberry Pi OS?
Then if the problem is not the SD card, I would make a fresh build environment and also make very sure that the mkplatformfs script pulls in the locally built kernel package, and not the one from a remote repo.