I will add more about these files next edit, as well as provide links to
existing official/semi-official documentation for this files)
-Sd card layout:
+my current config.txt:
+disable_splash=1
+gpu_mem=256
+kernel=kernel7-4.5.4.img
+avoid_warnings=2
+dtoverlay=vc4-kms-v3d
+
+my current cmdline.txt:
+dwg_otg.lpm_enable=0 console=ttyAMA0,115200 kgdboc=ttyAMA0,115200 console=tty root=/dev/mmcblk0p3 rootfstype=ext4 rootwait
+
+For the above two files, bare in mind that my sd card partition layout is as follows:
+mmcblk0p1: fat32, boot files (mounted to /boot in fstab)
+mmcblk0p2: swap
+mmcblk0p3: ext4, root filesystem
+
+Sd card layout (as found on most howtos in the wild):
first partition, boot (fat32):
kernel-$version.img, System.map-$version, bootcode.bin, start.elf, config.txt, cmdline.txt