[SeaBIOS] [CCE 3944-6] Option to disable booting from USB devices