Re: [U-Boot] Fwd: Debian platform firmware strategy?