Support fat partitions for /boot

I'm trying to port pmos to the Raspberry Pi but that requires a fat partition instead of ext2 as /boot. We could add a switch in the deviceinfo to make the boot partition fat instead of ext2 and have a firmware package that adds the extra firmware files for the rpi to /boot to make it work.