[U-Boot] Antwort: [PATCH 3/8] Convert CONFIG_BOOTCOUNT_AM33XX to Kconfig