x86_64: prepare shared kernel/head.S