e94ecf7338
support this, we do have MI code that references it and is otherwise unaware of an override. The alternative is to put knowledge in these MI files about which platforms have the opt_kstack_pages.h option file. It is more likely that other platforms will gain the ability to tune the kstack size.