The comment in JeOS is: "Map /boot as ext4 to make dtbs available to U-Boot" For RPi, we need a FAT partition so that the firmware, dtb and u-boot can be loaded.