rpi: use the newly-added RPI_EFI_NR_SPIN_PAGES
[oweals/u-boot.git] / board / devboards /
drwxr-xr-x   ..
drwxr-xr-x - dbm-soc1