In u-boot proper, what function in int_sequence_r list jumps to linux?