1if SYS_BOARD = "rpi"
2
3config RPI_EFI_NR_SPIN_PAGES
4	int "Spin table page count"
5	default 1
6	help
7	  Number of pages to reserve starting at page 0 for spin tables in the EFI
8	  memory map
9
10endif
11