Fedora 17 boot problem