omap_read_auxcoreboot0
extern u32 omap_read_auxcoreboot0(void);
boot_cpu = omap_read_auxcoreboot0() >> 9;
released = omap_read_auxcoreboot0() & AUX_CORE_BOOT0_HS_RELEASE;