[pinewurst]

Yes - there are people who've figured out their own boot processes, but everyone really uses the default Broadcom one.