Collecting addresses for different kernels in addresses.txt

There's probably a better way to do this, but I don't really want to put
them all in the main .c file. Maybe some header that is included by
timeoutpwn.c...