machine__kernel_start
spe->kernel_start = machine__kernel_start(spe->machine);
if (address >= machine__kernel_start(machine)) {
u64 kernel_start = machine__kernel_start(machine);
pt->kernel_start = machine__kernel_start(pt->machine);
u64 kernel_start = machine__kernel_start(machine);
ts->kernel_start = machine__kernel_start(machine);