Well, I heard that a possible solution would be including a standard formatted device ID string in silico. Would coreboot be useful for implementing this by passing it as a boot parameter?