Checkpoint: changes made during dual-core bringup, including boot code,
fixes to exclusive-access handling, etc