错误原因为文件修改时间大于系统时间，这时候如果date输出系统时间，会发现这个时间是错误的。
在nachos实习时多次出现这个错误，简单的方法尝试make多次直到有一次出现'nachos' is up to date为止。
网上查到的方法都是采用date -s 重新设置系统时间。然后make。

参考链接http://blog.csdn.net/nancygreen/article/details/7577556