I have a dualboot system with Manjaro and Windows in a Thinkpad. With the last update (today), the boot menu is gone. Now it boots into Manjaro directly, skipping the menu altogether. What settings did it change? How do I set them back as they were in the previous version?