modify kernel macro to accept macro lambda lists