[coreboot] [PATCHes] more kconfig boards, amd/cs5535 changes