Checking in an older version of Ubuntu shows that same microcode, so I guess it must becoming from the BIOS.
