I see that Debian has just added the SmartTop to the official installer in release 7.0 Alpha. How would one use that and still get the correct Genesi kernel?

Thank you.

P.S. How long should I expect shipping to the US to take for the JTAG/serial dongle I ordered a couple weeks ago?

Two to three weeks is not uncommon for overseas shipments of debug boards, unfortunately. Faster and more expensive delivery methods are available on request.