[coreboot] AMD G-Series SoC ("Kabini") and Olive Hill Development Board