[PATCH] tiny: Make x86 doublefault handling optional