[coreboot] Booting from MiniPCI on X230