[coreboot-gerrit] Change in coreboot[master]: psp_verstage: make get_max_workbuf_size optional