OpenIndiana Distribution

This is a new Open Indiana installation on a new computer with Intel Corei5 processor

After rebooting, 3 cores on a 4-core system are in a faulted state:

sudo psrinfo
0       faulted   since 04/26/2015 14:21:59
1       faulted   since 04/26/2015 14:21:59
2       faulted   since 04/26/2015 14:21:59
3       on-line   since 04/26/2015 14:21:55

The cores can be brought online with

psradm -n -F 0 1 2

Result:

sudo psrinfo
0       on-line   since 04/26/2015 14:28:32
1       on-line   since 04/26/2015 14:28:32
2       on-line   since 04/26/2015 14:28:32
3       on-line   since 04/26/2015 14:21:55

This is a serious bug. The system has been tested with various tools to make sure there are no hardware problems.
I also tried two different Linux live CDs and both work and enable all 4 cores without issues.

This needs an immediate workaround as it is not feasible to use parsed every type the system reboots and obviously a permanent fix soon.

OpenIndiana (powered by illumos)    SunOS 5.11    oi_151a8

For completenes - here is cpu_info after the cores have been enabled

kstat cpu_info
module: cpu_info                        instance: 0
name:   cpu_info0                       class:    misc
        brand                           Intel(r) Core(tm) i5-4590 CPU @ 3.30GHz
        cache_id                        0
        chip_id                         0
        clock_MHz                       3300
        clog_id                         0
        core_id                         0
        cpu_type                        i386
        crtime                          22.272251786
        current_clock_Hz                3301000000
        current_cstate                  2
        family                          6
        fpu_type                        i387 compatible
        implementation                  x86 (chipid 0x0 GenuineIntel 306C3 family 6 model 60 step 3 clock 3300 MHz)
        model                           60
        ncore_per_chip                  4
        ncpu_per_chip                   4
        pg_id                           5
        pkg_core_id                     0
        snaptime                        651.071334540
        socket_type                     Unknown
        state                           on-line
        state_begin                     1430072912
        stepping                        3
        supported_frequencies_Hz        800000000:1000000000:1200000000:1300000000:1500000000:1700000000:1900000000:2000000000:2200000000:2400000000:2600000000:2800000000:2900000000:3100000000:3300000000:3301000000
        supported_max_cstates           2
        vendor_id                       GenuineIntel

module: cpu_info                        instance: 1
name:   cpu_info1                       class:    misc
        brand                           Intel(r) Core(tm) i5-4590 CPU @ 3.30GHz
        cache_id                        0
        chip_id                         0
        clock_MHz                       3300
        clog_id                         2
        core_id                         1
        cpu_type                        i386
        crtime                          24.649869888
        current_clock_Hz                3301000000
        current_cstate                  2
        family                          6
        fpu_type                        i387 compatible
        implementation                  x86 (chipid 0x0 GenuineIntel 306C3 family 6 model 60 step 3 clock 3300 MHz)
        model                           60
        ncore_per_chip                  4
        ncpu_per_chip                   4
        pg_id                           7
        pkg_core_id                     1
        snaptime                        651.072788040
        socket_type                     Unknown
        state                           on-line
        state_begin                     1430072912
        stepping                        3
        supported_frequencies_Hz        800000000:1000000000:1200000000:1300000000:1500000000:1700000000:1900000000:2000000000:2200000000:2400000000:2600000000:2800000000:2900000000:3100000000:3300000000:3301000000
        supported_max_cstates           2
        vendor_id                       GenuineIntel

module: cpu_info                        instance: 2
name:   cpu_info2                       class:    misc
        brand                           Intel(r) Core(tm) i5-4590 CPU @ 3.30GHz
        cache_id                        0
        chip_id                         0
        clock_MHz                       3300
        clog_id                         4
        core_id                         2
        cpu_type                        i386
        crtime                          24.678507276
        current_clock_Hz                3301000000
        current_cstate                  2
        family                          6
        fpu_type                        i387 compatible
        implementation                  x86 (chipid 0x0 GenuineIntel 306C3 family 6 model 60 step 3 clock 3300 MHz)
        model                           60
        ncore_per_chip                  4
        ncpu_per_chip                   4
        pg_id                           9
        pkg_core_id                     2
        snaptime                        651.072832446
        socket_type                     Unknown
        state                           on-line
        state_begin                     1430072912
        stepping                        3
        supported_frequencies_Hz        800000000:1000000000:1200000000:1300000000:1500000000:1700000000:1900000000:2000000000:2200000000:2400000000:2600000000:2800000000:2900000000:3100000000:3300000000:3301000000
        supported_max_cstates           2
        vendor_id                       GenuineIntel

module: cpu_info                        instance: 3
name:   cpu_info3                       class:    misc
        brand                           Intel(r) Core(tm) i5-4590 CPU @ 3.30GHz
        cache_id                        0
        chip_id                         0
        clock_MHz                       3300
        clog_id                         6
        core_id                         3
        cpu_type                        i386
        crtime                          24.701377875
        current_clock_Hz                3301000000
        current_cstate                  0
        family                          6
        fpu_type                        i387 compatible
        implementation                  x86 (chipid 0x0 GenuineIntel 306C3 family 6 model 60 step 3 clock 3300 MHz)
        model                           60
        ncore_per_chip                  4
        ncpu_per_chip                   4
        pg_id                           11
        pkg_core_id                     3
        snaptime                        651.072905323
        socket_type                     Unknown
        state                           on-line
        state_begin                     1430072515
        stepping                        3
        supported_frequencies_Hz        800000000:1000000000:1200000000:1300000000:1500000000:1700000000:1900000000:2000000000:2200000000:2400000000:2600000000:2800000000:2900000000:3100000000:3300000000:3301000000
        supported_max_cstates           2
        vendor_id                       GenuineInte