Re: [OpenBIOS] Reducing OpenBIOS memory footprint