[PATCH 4/7] riscv: Add SMP Kconfig option dependency for U-Boot proper