Also, that final OS support cost per laptop is total_dev_hour_to_support / number_of_machines_sold. So if the denominator is small, that can still be a big enough number to surpass $OEM_Windows_cost.

We (sadly) don't get the luxury of pretending the markets for Linux on laptop and Windows on laptop are identical except for the OS.