orion: debloat the kernel some more