Changed kernel binaries