After much discussion with Ondrej, the best method seems to be to use kernel_cmdline parser output to pick the parameter snap_kernel=<name>. The <name> value should be then be used to select the correct booting_matrix line in snap_boot_selection and the associated BOOTIMG_ is what should be returned.
After much discussion with Ondrej, the best method seems to be to use kernel_cmdline parser output to pick the parameter snap_kernel=<name>. The <name> value should be then be used to select the correct booting_matrix line in snap_boot_selection and the associated BOOTIMG_ is what should be returned.