Fix build: missing symbol for hot reboot array

Change-Id: I2a5452229a4fa9b7a0bc59b771d8e655a91e2bae