There have been some semi-successful efforts in the past from Android users on getting a Kexec module running. Theoretically, if we can compile this module for the Harmattan kernel, we could possiby boot any kernel with any arbitrary command line arguments from the default Harmattan kernel at the preinit stage. That way, no flashing would be required. I'll try looking into it.