machine__get_kernel_start
int machine__get_kernel_start(struct machine *machine);
machine__get_kernel_start(machine);