Fewer kernel image types, and active-low changed to active-high in device tree