Quite possible an afterthought found out in later testing.Why would the people who put the board together use resistors that did not match what was printed on the PCB? Maybe the boards were all printed but it was later discovered that 3.6k resistors worked better?
Are you sure that the unit you have is 12V to 5V? (without some tweaking)