Update board-4430sdp.c from another tuna kernel