[U-Boot] content in a defconfig file versus in a header file -- clarification?