Looks good, go ahead and push. What is happening is that it was brought to my attention that the TDE HW library API inadvertently assumed the usage of pmount in all cases. Therefore, I updated the API to use a more generic method of specifying mount options; apparently I missed a few users of the TDE HW library such as k3b.