The default was erroneously changed, causing P3 builds to have smaller caches, so switch it back. The RVFI-DII builds override this with a TEST configuration anyway now.
The default was erroneously changed, causing P3 builds to have smaller caches, so switch it back. The RVFI-DII builds override this with a TEST configuration anyway now.