Hi Michal,
Thanks for your response.
I have verified your Point 1, 2 and 3. Clock is going to NVME device. I have not checked it with Sea Bios as i am using binary UEFI payload.
Is NVME device will get detected as PCI device during PCI enumeration in coreboot?
Regards, SenK