For embedded platforms that require it, use mtools to copy the
appropriate u-boot port's files into the fat part.