I did some digging around the config files from the kernel source package. DELL_RTBN was not set so I enabled it and left the kernel to recompile overnight. I installed the newly compiled kernel this morning and verified that the Airplane Mode Switch does work.
