Adding the optional boot menu