void-packages/srcpkgs/kernel-rpi/files
..
args-uncompressed.txt
boot-uncompressed.txt
imagetool-uncompressed.py