menu begin x86dark
    menu label ^32-bit install options
    menu title 32-bit install options
    include x86drkm.cfg
menu end