replace commented-out Admitted with Abort
replace commented-out Admitted with Abort

our nightly build script is not sophisticated enough to track Coq comments,
so it doesn't know that this Admitted is irrelevant.

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