Fix boot

Change-Id: I1ed77b43282c5e4b006eb1bec6a0dd857a33d8f2