The loop group of E8 and K-theory from 11 d