rename target machine from pxa25x to pxa250