I had them both installed, no install issue. Starting from bootmenu (the second menu I end up in) hangs the uboot kernel I choose at startup. Really don't known why, starting from uboot menu without bootmenu works fine.