[PATCH 035/171] Correct SPL use of BOOTSTAGE_FDT