#include <drv/timer.h>
#include <drv/flash25.h>
-#include <kern/kfile.h>
+#include <io/kfile.h>
#include <cpu/power.h> /* cpu_relax() */
-#warning FIXME:This file was change, but is untest!
+#warning FIXME:This file was changed, but is untested!
/**
* Wait until flash memory is ready.