It is funny how even the most modern x86-64 boots up as a 8088 in 16-bit real mode.

definitely not funny ha-ha