Syscon powers up and sets up DRAM. Syscon sets up boot params buffer. Turns on F00D and runs F00D bootrom. F00D loads second_loader which sets up SELF loading. kernel_boot_loader.self is used to load exception vectors to 0x0 (scratch) as well as secure kernel to DRAM. Tells syscon to power ARM. ARM starts up at 0x0.