Use different kernel flashing procedure

Change-Id: I30d61fe68d8233f6050dcf703c3a4140a4ea58ac