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