[coreboot] Re: Booting from MiniPCI on X230