- up to 20130710; amd64.org is gone, now fresh version in linux-firmware tree