Fix a boot bug

Change-Id: Id92e5b007d81cd7ac768541d3150c1d6bab06d00