Just go straight to the fallback for now

Cheat, since we know that the non-fallback is not implemented

Change-Id: I64892d6a13b08ff58c8c41ec2eb4c00bd94f9b55
Fix linux kmod build

Change-Id: I789f308bf580e9b7c7a4f350a897ccfb4ef0a7b7
Fix ukernel build with --enable-checking

Change-Id: I74f99eb83db050f6ba3113adccd189bc0f24f0f3
Use correct type to free

Change-Id: I81f6ce087239c6a457c714445a8ffd209656af25