[buildbot]

No, I have a Camera Link PCIE card that causes any system I put it into not to boot. So it could be the card. But also, AMD firmware is...interesting... based on my experiences with Epyc motherboards.