[PATCH v3 13/20] docker: Update coreboot