[SeaBIOS] [PATCH 4/8] Replace CONFIG_PS2_KEYBOARD_SPINUP with "etc/ps2-keyboard-spinup" file.