[PATCH 15/19] boot: Make standard boot a menu