small kernel hacks