tdx-bowl-s-obsp is invalid.