Configure: update linux-mips* lines [from master].