sedutil seems to be working
`$ cat /sys/module/libata/parameters/allow_tpm` result "1"
and
`sedutil-cli --scan` shows the disk correctly ("/dev/sda 2 KINGSTON SKC600256G S4800105")
If there are any further tests that can help elucidate the problem, please let me know.
--
André Desgualdo Pereira