tree 743a7432fa9225330ac9a0d05043d76da9697714
parent 200f25984ccc8a9e5fc13bfbcde22c17bc80d410
author Andreas Huber <andih@google.com> 1283203034 -0700
committer Andreas Huber <andih@google.com> 1283203034 -0700

Cleanspec to make sure everything works consistently after turning off OpenCore.

Change-Id: Icf3ba66b8183e36247b4cfc623643e37f78d7144
related-to-bug: 2941153