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