kern_thread.c: Fix i386 build
Chase 4493a13e3bfbbdf8488993843281ec688057ee0f by updating static assertions of struct proc.