Deprecated .config-3.8.8 in favor of arch/arm/configs/bcmrpi_defconfig