1eadcd7347
A similar change was made in v1.38 of Makefile.bootxx about 13 months ago, no reason these shouldn't be consistent with each other, like they were before.