[U-Boot] abbreviating header files with CONFIG_IS_ENABLED()?