raspberrypi/noobs — pull request #170 by lurch (2014-01-13 19:28:41+00:00)
Title: Remove mtools-host as it's unused and can cause build failures

Fixes #169