[tools] add mktools and dosfstools which are needed for the raspberry pi