boot.efi入れ替えなんて面倒な事するなら素直にEFI64機に買い換えた方が良いよ
OSアプデの度に心配しなくて済むし初代売れば費用も殆ど掛からんし