Most of you aren’t going to care about this post, you can safely ignore it, but I need a semi-permanent place to store such vital information so that I’ve got it available in future. Sorry people 
In the 64 bit kernel debugging session, issue the command:
!load wow64exts.dll
Then, to switch between the 32 bit and 64 bit contexts, issue:
!sw
Simples!