build/kernel.sh: support images with libstdc++.sow