[PATCH] i386: Relocatable kernel support