[PATCH v3 15/20] boot: Make standard boot a menu