[U-Boot] should all include/configs/*.h headers be included via SYS_CONFIG_NAME?