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

[Raul Rangel (Code Review)]

Raul Rangel 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 3: Code-Review+1

(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");
> space required after that ',' (ctx:VxV)

clang-format please