Building a GNU/Linux system for AMD64