Android kernel config for 6410

Richard Beck
Replacing just the kernel on Android 6410 board with one built from sources
 causes a hang on boot up.  Question is regarding exact config file used
for the board. On Android phones the config file used is kept on the phone
in /proc/config.gz.  Is the kernel config file used for a FriendlyARM board
running Android (or Linux for that matter) kept in a file ON THE DEVICE? 

Also would appreciate hearing from anyone who has successfully modified the
kernel for the 6410 (especially if for Android 2.3).