[coreboot] Re: PSE devices enumeration in corevoot