update machine configuration instructions for fedora port