updates for arm-linux-3.7.2_config