build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/23652 )
Change subject: cpu/intel: Get rid off device_t ......................................................................
Patch Set 4: Verified+1
Build Successful
https://qa.coreboot.org/job/coreboot-gerrit/67210/ : SUCCESS
https://qa.coreboot.org/job/coreboot-checkpatch/21764/ : SUCCESS