BAR_BOOTSRC_SELECT
value = vkread32(vk, BAR_0, BAR_BOOTSRC_SELECT);
vkwrite32(vk, value, BAR_0, BAR_BOOTSRC_SELECT);