Fix the boot.

Change-Id: Iaf981ab69b3b716285ebc2b8ac75698167bf19e9