Na verdade o kernel é o mesmo, a maioria dos HP precisa desse "fix" pro "local apic error", alguns chamam de Taptun porque é o apelido do cara que modificou o kernel.
O anerik70 deve ter usado aquele MIID_DVx_i5i3 ao invés de instalar o boot na mesma partição porque ele é específico para esses tipos de laptop, talvez tenha outro detalhe necessário.
Acho que ele quis dizer para restaurar o base system (e copiar os packages) como no tópico do MaLd0n (exceto a parte do boot, já que ele precisa fazer diferente).