The Loop Group of E 8 and K-Theory from 11d