Use faux123 kernel