> more GNU-oriented userspace, preferring e.g. GNU make over BSD make

How are you going to build that kernel?