Boot fixes

Change-Id: I9796f178e3f3244f9b617bc2caa97a95c8851cdb