am 5ba39376: Implement card table verification.

Merge commit '5ba39376c5b7a5878f234a689a51c74783583b4b' into dalvik-dev

* commit '5ba39376c5b7a5878f234a689a51c74783583b4b':
  Implement card table verification.