Hi all, 9c5d1cb40bcb1d9412112bf73d7c7f4732989e89 was removing "-nonet" option from devicekit Makefiles. This means that everyone now needs to have internet connectivity to build devicekit, which I don't have most of the time. Can anyone ack the revert please?