Trigger some builds to see if the new kernel took. Change-Id: Ib06c67b5da315ac46a757602abbf76626f46b279