Re: [SeaBIOS] iasl-option not working