move single options out of main menu and remove stray "options"
[coreboot.git] / src / arch /
drwxr-xr-x   ..
drwxr-xr-x - x86