Angel Pons d2489ee712 mainboard: Use decimal for device cpu_cluster 0x0 on ... Most boards use `device cpu_cluster 0 on` with zero written in decimal. For the sake of consistency, update the remaining boards to follow suit. Change-Id: I083c8f8e9b38ddcc217dc8bf17ae3c9473ba77e9 Signed-off-by: Angel Pons <th3fanbus@gmail.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/54357 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>		2021-05-18 11:42:21 +00:00
..
intense_pc	mainboard: Use decimal for device cpu_cluster 0x0 on	2021-05-18 11:42:21 +00:00
Kconfig
Kconfig.name