Hacker News Reader

Which begs the question as to what 'support' linux needs given that I believe EFI does the job of entering protected mode these days.

EFI only spins up a single core/thread. Starting up the other cores/threads is different than it is now.