BAR_CODEPUSH_SBL
value = vkread32(vk, BAR_0, BAR_CODEPUSH_SBL);
vkwrite32(vk, value, BAR_0, BAR_CODEPUSH_SBL);
offset_codepush = BAR_CODEPUSH_SBL;