bcm_vk_next_boot_image
if (bcm_vk_next_boot_image(vk) == curr_type) {
next_loadable = bcm_vk_next_boot_image(vk);