Cache.v: fix build with async-io; some bug still remains in write_ok
Cache.v: fix build with async-io; some bug still remains in write_ok

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl