As far as I know, everything works, but @francois was complaining about his NVMe causing issues on his L13v1. He didn't have issues before, but now he does, and he also has the same issues with the AMI BIOS now for some reason, so either his NVMe has become defective (coincidentally on the same day he flashed coreboot for the system) or something needs to be fixed in coreboot which is also buggy in AMI.
Tests needed before we consider the port 'done'.