/* return true if the particular booting option is selected return false otherwise  */
static u32 read_bootstrap(void)
/* return true if the particular booting option is selected return false otherwise  */
static u32 read_bootstrap(void)
{
	return (readl(CONFIG_SPEAR_BOOTSTRAPCFG) >> CONFIG_SPEAR_BOOTSTRAPSHFT)
		& CONFIG_SPEAR_BOOTSTRAPMASK;
}