Re: [SeaBIOS] [PATCH] Print E820 type names as well as numbers, as a debug aid