Re: [coreboot] PX10000G aka Pico ITX