Make checkpointing work on ext4

Test: All tests pass
Change-Id: I2a6cdf1edfe752f4633e1931e75d18659653938c
6 files changed