I have not received a reply from Benjamin Herrenschmidt so I opened kernel upstream bug report 63801 (https://bugzilla.kernel.org/show_bug.cgi?id=63801).
I have not received a reply from Benjamin Herrenschmidt so I opened kernel upstream bug report 63801 (https:/ /bugzilla. kernel. org/show_ bug.cgi? id=63801).