For booting the kernel, you will also need to download these addition files:
bootcode.bin: https://github.com/raspberrypi/firmware/raw/master/boot/bootcode.bin
start.elf: https://github.com/raspberrypi/firmware/raw/master/boot/start.elf
+fixup.dat: https://github.com/raspberrypi/firmware/raw/master/boot/start.elf
+
+(Two other files are needed in the boot partition: config.txt and cmdline.txt.
+ 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: