[SeaBIOS] iasl-option not working