add device_specific options to disable boot.img writing
and other fixes thanks to @xdarklight

Change-Id: I95e26b248083792b91ccbfdac4e6b70ddf9c451b