changed the build order. Have release-sets depend on the kernels target, which restores the order. OK espie@