AUX_CORE_BOOT0_HS_RELEASE
omap_modify_auxcoreboot0(AUX_CORE_BOOT0_HS_RELEASE,
released = omap_read_auxcoreboot0() & AUX_CORE_BOOT0_HS_RELEASE;