Doesn't seem necessary if you had disk encryption enabled. The data remaining unerased on the disk is already meaningless without the key.