Sounds similar to what Boris fixed some time ago. AMD machines not booting when firmware updated is applied...