Inline kernel switch
Signed-off-by: Braydon Saporito <altabraydon@gmail.com>