\ Enable the Branch Target Buffer workaround

hex

00000000.00000000. 4c00.005f wrmsr
00000000.00000000. 4c00.0016 wrmsr
00000000.00000002. 4c00.0016 wrmsr
00000000.80338041. 1000.2005 wrmsr
5ad68000.00000000. 4c00.0045 wrmsr
00000000.00000140. 4c00.0044 wrmsr
00002000.00000000. 4c00.004d wrmsr
00000000.00400000. 4c00.0075 wrmsr
00000000.00030000. 4c00.0073 wrmsr
00000000.00430000. 4c00.006d wrmsr
00000000.80004000. 4c00.005f wrmsr