existing hardware assisted method doesn't work on this cpu. Also correct the "I_B" constant in db_machine.h.