rtems4.11: Use rtems-tools HEAD for 4.11 until stable.