void-packages/srcpkgs/rpi-firmware/files
..
cmdline.txt
config.txt