x86: Update device tree for TPL