fix mistake and restore boot
(still no sleep)

Change-Id: I608c0b8dcbd9ca72ae208f95b354ac9fdaa15339