[coreboot-gerrit] Patch merged into coreboot/master: db9eaf4 snow/exynos5250: move board-specific power stuff to mainboard dir