how to press F1

[cckp]

finally I setup a vmware machine to build iPXE, with suggested DEBUG=bios_console

then, when I run the command "prompt",

and press F1, I got this error:
"Unrecognised BIOS scancode 3b"

and for F2:
"Unrecognised BIOS scancode 3c"


and for F3:
"Unrecognised BIOS scancode 3d"


and for F4:
"Unrecognised BIOS scancode 3e"

and for F5...F12, no problem.

I think 'Unrecognised' means the iPXE programmer forgot to define it , right?

tried this:
prompt -k 0x3b
did not work.