/* SPDX-License-Identifier: GPL-2.0+ */ usb_pgood_delay=250 boot_bank_flag=0x08005006 kernel_addr_r=0x88200000