Change in coreboot[master]: soc/amd/picasso: clean up Kconfig and header

[Kangheui Won (Code Review)]

Attention is currently required from: Jason Glenesk, Raul Rangel, Marshall Dawson, Angel Pons, Felix Held.
Kangheui Won has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/52563 )

Change subject: soc/amd/picasso: clean up Kconfig and header
......................................................................

Patch Set 1:

(1 comment)

File src/soc/amd/picasso/Kconfig:

https://review.coreboot.org/c/coreboot/+/52563/comment/dc8ef818_642f0171 
PS1, Line 410: 0x3000
> Kconfig uses the first default that is applicable. If unsure, a quick test would tell.

I think 0x8000(32KB) makes more sense here rather than 0x3000(12KB) since VB2_FIRMWARE_WORKBUF_RECOMMENDED_SIZE is 12KB.