There is no real config here, it comes from https://github.com/raspberrypi/linux/blob/rpi-3.6.y/arch/arm/configs/bcmrpi_defconfig Please report bugs and config requests to https://github.com/raspberrypi/linux/issues Essentially config is same as raspbian except for -ARCH tag