[SeaBIOS] [PATCH 3/4] update dsdt ressources at runtime