Symbol: bcm283x_bootparams