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