tree ebb5401d7f0a1893c1d25040b36fc0d3ddf33c4a
parent 5127edf7093c7848398b6c39d5597a6cf61e3f80
author Paul Crowley <paulcrowley@google.com> 1432053099 +0100
committer Paul Crowley <paulcrowley@google.com> 1434508833 +0100

Scrub the key from the disk with BLKSECDISCARD.

Bug: 19706593
Change-Id: Ib91b5182413b5dca6d0e1fdda7990ea0973843bb