[PATCH v11 03/11] tee: allow a driver to allocate a tee_device without a pool