Re: [SeaBIOS] [RFC 0/3] NVDIMM booting support