https://bugs.freedesktop.org/show_bug.cgi?id=62573
--- Comment #5 from Benjamin brpylko@gmail.com --- If I am debugging it with gdb, it won't go past the loading screen for the main menu. The last thing gdb says is "0xf776e425 in __kernel_vsyscall () ". I don't know what that means.