Re: [SeaBIOS] [PATCH 5/6] update dsdt ressources at runtime