[PATCH] menu: relocate DOUBLEFAULT option