Just a quick confirmation - today's update 4.9.88-1+deb9u1 fixed the boot timeout for me. -- Miroslav Kure