Add basic kernel boot test