[U-Boot] mkimage: spl address computation seems weird in PBL