added kernel 3.7.2 config for raspberry pi