The busyboxconfig file we supplied earlier was for a version of busybox
older than that used by buildroot v2013.02. The new busybox version
describes the same configuration with a slightly different file; that
file is given to us with 'make busybox-update-config'.