[coreboot] [PATCH] Disable integrated Intel 3100 devices properly