[PATCH] x86: fix PDA variables to work during boot