More HW configurations for Debian 7