jenkins: use default XTARGET for testing with simpler setups