如何使用Spring Boot覆盖嵌入式Tomcat的websocket.textBufferSize属性？

Tomcat 8.5的websocket how-to中提到了org.apache.tomcat.websocket.textBufferSize属性。它说：

文本消息的默认缓冲区大小为8192字节。对于Web应用程序，可以通过将Servlet上下文初始化参数org.apache.tomcat.websocket.textBufferSize设置为所需的字节值来更改此设置。

我正在通过Spring Boot使用嵌入式Tomcat，并且需要修改该init-param。我浏览了Spring Boot管理的常见应用程序属性，但没有在该位置找到该参数。我将其放置在application.yaml中（例如）org.apache.tomcat.websocket.textBufferSize: 40000，并从Tomcat收到消息：The decoded text message was too big for the output buffer and the endpoint does not support partial messages。

这些是完整的消息，而不是部分消息。

我希望可以将该属性更改为比Tomcat放置的默认值（8192）高的值。