Re: [PATCH] Give more useful names to other bootable devices