[SeaBIOS] Support for IPMI System Boot Options commands