Miroslav Kure Wed, 09 May 2018 11:09:36 -0700
Just a quick confirmation - today's update 4.9.88-1+deb9u1 fixed the boot timeout for me.
-- Miroslav Kure