add CONFIG_BOX_KERNEL_AUTO command so changing default.cfg manually is not needed on 32-bit kernels