Contents of section "kernel" in suite "byzantium-updates"