[coreboot-gerrit] Change in coreboot[master]: soc/amd/picasso: Halt if workbuf is absent after psp_verstage

[Martin Roth (Code Review)]

Martin Roth has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/42810 )

Change subject: soc/amd/picasso: Halt if workbuf is absent after psp_verstage
......................................................................

Patch Set 4:

(1 comment)

https://review.coreboot.org/c/coreboot/+/42810/3/src/soc/amd/picasso/bootblo... 
File src/soc/amd/picasso/bootblock/bootblock.c:

https://review.coreboot.org/c/coreboot/+/42810/3/src/soc/amd/picasso/bootblo... 
PS3, Line 134: 		printk(BIOS_ERR,"ERROR: VBOOT workbuf not valid.\n");
> clang-format please

Done