I’ll probably wait the 2 months or so for Debian AMD64.