the current Xbox is running a Windows 10 (one kernel design) while the PS4 run a patched up FreeBSD.

Only Nintendo bothers with writing custom kernels, and historically Sony with the PS2 having exotic "Cell" processor units.