
the old value of 0x4007ff28 was originally copied from something upstreamy but I have no record of what. 0x48000000 is $loadaddr in u-boot so let's use that instead
the old value of 0x4007ff28 was originally copied from something upstreamy but I have no record of what. 0x48000000 is $loadaddr in u-boot so let's use that instead