Re: [PATCH] Revive reipl (#860244)