fix boot.img compilation

Change-Id: I41dfcb82da7ea920da90b9ceec6e57ee63358e8a