This workaround, added in commit 5dbe66da, is not needed anymore since we now ship only one kernel: if it were still needed, then the aufs DKMS module would not be built for the correct kernel either, which we would obviously notice as the ISO would fail to boot.