I’ve read your post since from the beggining but I do not use boot time scanning that often.
When I run two times, last week, I have the options, click the buttoms and everything works fine.
I have a PS/2 keyboard too.
How can we know? How can we reproduce your trouble?