Package update kernel-image-repka4 in branch sisyphus