Python script that resolves Linux kernel symbols.